Generalized Serre Problem over Elementary Divisor Rings

Formalized linear algebra over Elementary Divisor Rings in Coq

This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support essential operations of linear algebra, the classification theorem of finitely presented modules over such rings and the uniqueness of the Smith normal form up to...

Some Remarks About Elementary Divisor Rings

Some Remarks on Elementary Divisor Rings II

Generalized divisor problem

In 1952 H.E. Richert by means of the theory of Exponents Pairs (developed by J.G. van der Korput and E. Phillips ) improved the above O-term ( see [8] or [4] pag. 221 ). In 1969 E. Krätzel studied the three-dimensional problem. Besides, M.Vogts (1981) and A. Ivić (1981) got some interesting results which generalize the work of P.G. Schmidt of 1968. In 1987 A.Ivić obtained Ω-results for ∫ T 1 ∆ ...

Zero-Divisor Graph of Triangular Matrix Rings over Commutative Rings

Let R be a noncommutative ring. The zero-divisor graph of R, denoted by Γ(R), is the (directed) graph with vertices Z(R)∗ = Z(R)− {0}, the set of nonzero zero-divisors of R, and for distinct x, y ∈ Z(R)∗, there is an edge x → y if and only if xy = 0. In this paper we investigate the zero-divisor graph of triangular matrix rings over commutative rings. Mathematics Subject Classification: 16S70; ...